TSTP Solution File: ALG261^1 by Nitpick---2016